Small-gain theorem for safety verification of interconnected systems
نویسندگان
چکیده
A small-gain theorem in the formulation of barrier function is developed this work for safety verification interconnected systems. This result helpful to verify input-to-state (ISSf) systems from information encoded individual ISSf-barrier functions. Also, it can be used obtain a set higher dimensional space sets two lower spaces.
منابع مشابه
A Lyapunov-based small-gain theorem for interconnected switched systems
Stability of an interconnected system consisting of two switched systems is investigated in the scenario where in both switched systems theremay exist some subsystems that are not input-to-state stable (nonISS). We show that, providing the switching signals neither switch too frequently nor activate non-ISS subsystems for too long, a small-gain theorem can be used to conclude global asymptotic ...
متن کاملA Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems
The goal of this paper is to provide a Lyapunov statement and proof of the recent nonlinear small-gain theorem for interconnected input/state-stable (ISS) systems. An ISS-Lyapunov function for the overall system is obtained from the corresponding Lyapunov functions for both the subsystems. Copyright @ 1996 Elsevier Science Ltd.
متن کاملISDS small-gain theorem and construction of ISDS Lyapunov functions for interconnected systems
We consider networks of input-to-state dynamically stable (ISDS) systems and use a small-gain condition to assure the ISDS property for their interconnection. Under this small-gain condition we provide a construction of an ISDS Lyapunov function including explicit derivation of corresponding rates and gains for the whole interconnection. © 2010 Elsevier B.V. All rights reserved.
متن کاملDiscrete-time Lyapunov-based small-gain theorem for parameterized interconnected ISS systems
Input-to-state stability (ISS) of a feedback interconnection of two discrete-time ISS systems satisfying an appropriate small gain condition is investigated via the Lyapunov method. In particular, an ISS Lyapunov function for the overall system is constructed from the ISS Lyapunov functions of the two subsystems. We consider parameterized families of discrete-time systems that naturally arise w...
متن کاملLyapunov based small-gain theorem for parameterized discrete-time interconnected ISS systems
Input-to-state stability (ISS) of a feedback interconnection of two discrete-time ISS systems satisfying an appropriate small gain condition is investigated via the Lyapunov method. In particular, an ISS Lyapunov function for the overall system is constructed from the ISS Lyapunov functions of the two subsystems. We consider parameterized families of discretetime systems that naturally arise wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2022
ISSN: ['1873-2836', '0005-1098']
DOI: https://doi.org/10.1016/j.automatica.2022.110178